-
1 formal congruence
Большой англо-русский и русско-английский словарь > formal congruence
-
2 formal congruence
Математика: формальное сравнение -
3 formal congruence
мат. -
4 congruence
2) конгруэнция, сравнение3) слаженность, согласованность4) соразмерность, соответствие, совмещение5) сравнимость•congruence with respect to operation — лог. конгруэнция по отношению к операции
-
5 congruence
ˈkɔŋɡruəns сущ.
1) слаженность, согласованность formal congruence with ≈ формальное соответствие чему-л. technical congruence with ≈ техническая согласованность с чем-л. Syn: co-ordination, conformity, accordance, correspondence, harmony
2) мат. конгруэнтность
3) грам. согласование (напр., прилагательного с существительным) n
1) соответствие;
2) согласование ~ согласованность;
соответствие;
to be in congruence with соответствовать( чему-л.) congruence мат. конгруэнтность ~ конгруэнтность ~ совпадение ~ согласованность;
соответствие;
to be in congruence with соответствовать (чему-л.) ~ согласованность ~ соответствие ~ сравнимостьБольшой англо-русский и русско-английский словарь > congruence
-
6 congruence
['kɔŋgruən(t)s]сущ.1) слаженность, согласованностьformal congruence with — формальное соответствие чему-л.
technical congruence with — техническая согласованность с чем-л.
Syn:2) мат. конгруэнтность3) лингв. согласованиеSyn: -
7 формальное сравнение
Большой англо-русский и русско-английский словарь > формальное сравнение
-
8 property
1) свойство; качество; атрибут2) имущество; собственность3) способность•- fixed point property - minimum norm property - property of being atomistic - property of being centered - property of being holomorphic - property of being meromorphic - property of being odd - property of being two-valued - property of being unitary -
9 relation
1) зависимость, (взаимо)связь2) отношение; соотношение4) геол. условия залегания•- almost universal relation - cause-effect relation - generalized semigroup relation - logically irreducible relation - parametrically definable relation - partial ordering relation - recursively enumerable relation - recursively invariant relation - recursively representable relation - strongly definable relation - weakly symmetric relation -
10 condition
1) положение; ситуация2) условие || обусловливать, ставить условие3) состояние || приводить в определённое состояние4) кондиция || кондиционировать5) pl обстановка, условия; режим•on condition that — при условии, что
under conditions of a problem — матем. по условиям задачи
to satisfy a condition — мат. удовлетворять условию
См. также в других словарях:
Congruence lattice problem — In mathematics, the congruence lattice problem asks whether every algebraic distributive lattice is isomorphic to the congruence lattice of some other lattice. The problem was posed by Robert P. Dilworth, and for many years it was one of the most … Wikipedia
Congruence relation — See congruence (geometry) for the term as used in elementary geometry. In abstract algebra, a congruence relation (or simply congruence) is an equivalence relation on an algebraic structure (such as a group, ring, or vector space) that is… … Wikipedia
Congruence (geometry) — An example of congruence. The two figures on the left are congruent, while the third is similar to them. The last figure is neither similar nor congruent to any of the others. Note that congruence … Wikipedia
congruence — n. (formal or technical) congruence with * * * [ kɒŋgrʊəns] (formal or technical) congruence with … Combinatory dictionary
congruence — [[t]kɒ̱ŋgruəns[/t]] N UNCOUNT: also a N, usu N between pl n Congruence is when two things are similar or fit together well. [FORMAL] ...a necessary congruence between political, cultural and economic forces … English dictionary
π-calculus — In theoretical computer science, the π calculus (or pi calculus) is a process calculus originally developed by Robin Milner, Joachim Parrow and David Walker as a continuation of work on the process calculus CCS (Calculus of Communicating Systems) … Wikipedia
Pi-calculus — In theoretical computer science, the pi calculus is a process calculus originally developed by Robin Milner, Joachim Parrow and David Walker as a continuation of work on the process calculus CCS (Calculus of Communicating Systems). The aim of the … Wikipedia
Euclidean geometry — A Greek mathematician performing a geometric construction with a compass, from The School of Athens by Raphael. Euclidean geometry is a mathematical system attributed to the Alexandrian Greek mathematician Euclid, which he described in his… … Wikipedia
mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… … Universalium
David Hilbert — Hilbert redirects here. For other uses, see Hilbert (disambiguation). David Hilbert David Hilbert (1912) Born … Wikipedia
UNITED STATES OF AMERICA — UNITED STATES OF AMERICA, country in N. America. This article is arranged according to the following outline: introduction Colonial Era, 1654–1776 Early National Period, 1776–1820 German Jewish Period, 1820–1880 East European Jewish Period,… … Encyclopedia of Judaism